1. A formalization of set theory without variables
المؤلف: Tarski, Alfred.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. A formalization of set theory without variables
المؤلف: Tarski, Alfred
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. A formalization of set theory without variables
المؤلف: TARSKI,ALFRED
المکتبة: (طهران)
موضوع: SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
248
.
T37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. A formalization of set theory without variables
المؤلف: Tarski, Alfred
المکتبة: (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. A formalization of set theory without variables /
المؤلف: by Alfred Tarski and Steven Givant.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Alfred Tarski collected papers
المؤلف: Tarski, Alfred
المکتبة: (طهران)
موضوع: Collected works ، Mathematics
رده :
QA
3
.
T37
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Cardinal algebras
المؤلف: TARSKI,ALFRED
المکتبة: (طهران)
موضوع: ALGEBRA ABSTRACT
رده :
QA
226
.
T3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Collected papers,Selections. 6891
المؤلف: Tarski, Alfred.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Mathematics
رده :
QA
3
.
T372
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Cylindric algebras
المؤلف: / Leon Henkin, J. Donald Monk, Alfred Tarski
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Cylindric algebras
رده :
511
.
32
He-C
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Intriduction to logic and to the methodology of deductive sciendes
المؤلف: / By Alfred Tarski
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Mathematics - Philosophy,Arithmetic - Foundations
رده :
510
.
1
Ta-I
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Introduction a la logique.
المؤلف: par Alfred Tarski;traduit par Jacques Tremblay
المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع: Mathematics--Philosophy.,Arithematic--Foundations.
![](/design/images/bookmore.png)
12. Introduction to logic and the methodology of deductive sciences
المؤلف: Tarski, Alfred
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: philosophy ، Mathematics,Foundations ، Arithmetic
رده :
QA
9
.
T28
1965
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Introduction to logic and to the methodology of deductive sciences
المؤلف: Tarski, Alfred.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
9
.
T3
I5
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Introduction to logic and to the methodology of deductive sciences
المؤلف: Tarski, Alfred
المکتبة: (طهران)
موضوع: ، Mathematics -- Philosophy,، Arithmetic -- Foundations
رده :
QA
9
.
T27E3713
1965
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. Introduction to logic and to the methodology of the deductive sciences, O logice matematycznej i metodzie dedukcyjnej. English
المؤلف: \ By Alfred Tarski,O logice matematycznej i metodzie dedukcyjnej.
المکتبة: (طهران)
موضوع: ریاضیات, -- فلسفه, Mathematics -- Philosophy., Arithmetic -- Foundations
رده :
QA9
.
T28
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Logic , Methodology and philosophy of science : proceeding of the 1960 international congress
المؤلف: /edited by Ernest Nagel , PAtrik Suppes , Alfred Tarski.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع:
![](/design/images/bookmore.png)
17. Logic, semantics, metamathematics
المؤلف: Tarski, Alfred
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC
135
.
T35
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Logic, semantics, metamathematics :
المؤلف: by Alfred Tarski ; translated by J.H. Woodger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
رده :
BC135
.
T35
1983
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Logic, semantics, metamathematics :papers from 1923 to 1938
المؤلف: Tarski, Alfred.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC135
.
T35
1983
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. Logic, semantics, metamathematics: papers from 1923 to 1938
المؤلف: Tarski, Alfred.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,Semantics )Philosophy(
رده :
BC
135
.
T35
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)